deadlock相关论文
时间管理服务是高层体系结构HLA(High Level Architecture)的重要组成部分,而考虑不全面的时间推进机制和算法会导致死锁,进而导致......
In this paper we propose a sufficient condition for minimal routing in 3-dimensional (3-D) meshes with faulty nodes. It ......
It is important to verify the absence of deadlocks in asynchronous circuits.Much previous work relies on a reachability ......
兼容性检测是使用微服务构建软件时将面临的一个关键问题,如果一组微服务的组合满足某些属性,如无死锁,则称这组微服务是兼容的。......
文件锁机制是一种控制并发进程对文件的访问以保护数据的完整性和一致性的重要技术。论述了U-nix文件锁控制机制及其实现原理,对各......
协同设计是一种高效的设计方法，但是在设计者之间产生冲突是不可避免的。如何避免冲突，是协同设计的一个关键问题。提出一种冲突消解......
数据库的死锁问题在很大程度上影响着数据库的性能,死锁研究也是数据库性能优化的一个重要方面。本文以SQL Server数据库为例,从一......
并发与死锁是操作系统的重要问题,对进程并发、死锁及饥饿现象进行研究,深入探讨了利用信号量解决进程并发应注意的问题,并结合实......
利用Ｐｅｔｒｉ网为资源复合共用ＦＭＳ进行建模，给出了关于此类系统死锁的一系列定义，讨论了系统死锁的充分必要条件。......
在车间作业调度数学表达模型的基础上，应用遗传算法对车间作业调度问题进行研究，为了满足遗传算法对解的多样性的要求，提出了一个调度......
设计了一种基于蚁群算法的多机器人协作策略，由此解决多机器人系统在未知环境工作中的自主协作规划问题．针对多机器人系统在未知环境......
Petri网具有坚实的理论基础和易于使用的图形表示，是一种理想的建模和分析工具，因此在工作流的建模和分析方面具有广泛的应用。本文......
多agent系统注重agent之间的相互协作,但是在进行信息传递的过程中不可避免地会出现死锁.文章针对这一问题,结合文献[1]的有关思想......
死锁是柔性制造系统中容易发生的异常现象,如不加以消除,将会导致整个系统的瘫痪.文中通过Petri网模型对FMS的结构分析,揭示出导致......
阐述了分布式系统中的死锁问题,采用Petri网对分布式系统中的死锁进行分析,给出了几种解决死锁的模型,并分析了这些模型的优缺点,......
在每种资源只有一个个体的情况下，本文给出了一种避免死锁的安全算法。该算法是对现有的一种安全算法的改进，改进后的算法被命名为触......
两段加锁是分布式系统中最广泛使用的并发控制算法。该算法除实现较为复杂外，其致命弱点是容易产生死锁。本文在分析两段加锁产生死......
并行测试拥有减少测试时间、降低测试成本的强大优势,正成为研究热点之一.首先详细分析了并行测试的基本概念,介绍了目前实现并行......
多线程是现代操作系统中出现的概念.阐述了多线程的概念以及对线程的状态、创建和控制方法,对避免死锁的方法作了深入的探讨.......
阐述了BIOS与CMOS的关系，对系统BIOS故障引起死机和CMOS造成的死机故障分别进行分析，并给出了各自的处理措施．探讨了BIOS设置选项注意......
简要介绍P、V操作.通过对两个经典同步问题的描述,说明如何使用P、V操作解决实际问题,重点简述了使用信号量机制解决同步问题时容......
本文提出了MPI程序的同步通信模型及三个基本简化模型，给出了判定这些基本模型是否死锁的方法和定理并予以了严格证明．简化模型的死......
提出一种改进的死锁和活锁避免资源联合分配协议——OODP3（Optimal ODP3）,OODP3基于ODP3（Or-der-based Deadlock Prevention Protocol......
本文介绍了曙光5000高性能计算机多播网络设计的关键技术.减少多播与单播/多播与多播间的网络竞争是降低多播延迟的主要途径之一,......
研究了用Petri网描述操作系统中经典的“并发操作”的例子——哲学家就餐问题，并构造了不同的Petri网模型解决死锁和无限等待问题，最......
基于Sybase的医院信息系统（HIS）在开发及维护过程中，都遇到过各种死锁问题的困扰。引起数据库死锁的原因有多种，分析了引起Sybase数据......
通过对KMP算法的研究,确定了基于MPI的KMP算法实现的可能性。主要重点是分析了MPI环境下KMP算法中目标串分组2种方式,第1种是把目......
在多道程序系统中,通过多进程并发执行可提高系统资源利用率和系统的处理能力,但也带来了风险,死锁现象。本文讨论了多道程序设计......
嵌入式Internet中使用短帧数据包，使得网络带宽的利用率极低，拥塞发生的可能性加大。标准transmission control protocol（TCP）协议中应......
在设计操作系统时,为了避免死锁的发生,通常设置死锁检测机制。本文提出了一种基于博弈论的死锁检测机制,当发生资源竞争时,用来衡......
并发控制是数据库管理系统提高运行效率的基本要求，事务并发执行时，采用锁机制是保证事务可串行化的一个方法，但因此而产生的死锁问题......
利用虚跨步切换技术中消息的依存关系只与相邻缓冲区队列相关的特点,设计了一种称为维度气泡流控（DBFC）的新型流控策略.该流控策略建......
BPEL流程的正确性问题越来越受到广泛关注.作为一种支持并发机制的Web服务组合语言,不正确地使用并发和同步操作或不正确的交互都......
文中基于补库所理论提出了活性控制器设计方法．首先，利用容量函数K将原Petri网N转变为有限容量网丙，再通过逐一增加K值得到具有最大可......
通常采用PV操作是实现进程互斥与同步的有效办法,然而,在构架进程的过程中,若P操作推进的顺序不当,则会产生死锁现象.从对同步与死......
针对片上网络的死锁问题，提出一种片上网络自适应路由算法——虚拟网络（VN）路由算法，该算法根据报文源地址和目的地址将网络分成4个虚......
为了适应实时片上系统SoC设计和片上网络NoC服务质量保证的可预测性需求,确保NoC高质量服务于实时系统,提出了一种新的基于NoC的死......
Petri网是一种具有动态特性的建模工具，模糊Petri网是Petri网的一个重要分支，可以有效处理具有不精确的、不确定的复杂因素的系统模......
连续Petri网是用来分析和描述具有连续变量的系统，被证明是有效的建模工具。本文主要讨论连续Petri网死锁和陷阱结构的性质，并结合算......
隐式硬编码的基于过程调用构件连接束缚构件集成的灵活性，且存在的死锁连接造成软件可靠性隐患问题．针对该问题，首先建立基于过程调用......
Petri网的可达树是一个基础的强有力的分析方法和工具，它可以用来分析各种性能，包括活性、有界性、保持性、可达性和可覆盖性。本文......
针对多机器人搜集任务中可能出现的任务死锁现象，采用基于组合拍卖的方法来解决这一问题。提出了一种拍卖树方法。用来解决组合拍卖......
柔性制造系统的主要特点是多种不同类型的工件同时在系统中加工，这些工件竞争系统中的有限资源会导致死锁的发生，能够检查出ＦＭＳ运控软件......
刀具流死锁控制及刀具分派问题是柔性制造系统（FMS）调度中的重要核心内容，为实现合理的死锁回避和刀具分派，在前期研究的基础上，通过建......
围绕单片机软件中存在的死锁和代码数据关联度高等问题进行分析探讨。以任务运行最大CPU需求时间作为“死锁”的干预策略,提高了软......
在介绍基于资源分配图的、传统的死锁检测算法基础上,提出一种新的基于并行技术的死锁检测算法,并用1个实例说明该算法的执行过程.......
根据预防死锁策略,提出一种基于回退机制的哲学家进餐问题的解决方案,并在JAVA多线程环境下通过编程实现了该方案.模拟程序运行结......
文章针对Petri网建模的并发系统中的死锁问题，利用Petri网可达树分析方法检测系统死锁的存在，结合Petri网控制器的设计来达到预防和......
